机译:用户界面软件的验证:与使用相关的安全要求和可编程医疗设备的示例
机译:使用软件故障树对Ada程序进行安全验证
机译:生物安全RAM和ePROTOCOL软件计划在美国农业部 - 国家动物疾病中心简化机构生物安全委员会流程
机译:反应系统软件的一种正式方法:ESTEREL中的电信应用
机译:验证Lustre程序的安全属性:一种基于SMT的方法。
机译:仅在测试阳性中验证疾病状态时的患病率估算:在HIV筛查程序中的应用
机译:Esterel程序的硬件和软件综合,优化和验证
机译:stateDelta验证系统(sDVs)中终止和非终止ada程序的安全属性